home *** CD-ROM | disk | FTP | other *** search
/ Collection of Internet / Collection of Internet.iso / faq / comp / comp_la0 / cla_faq1 next >
Text File  |  1993-12-16  |  40KB  |  934 lines

  1. Newsgroups: comp.lang.ada,news.answers,comp.answers
  2. Path: senator-bedfellow.mit.edu!bloom-beacon.mit.edu!nic.hookup.net!swrinde!cs.utexas.edu!uunet!cis.ohio-state.edu!news.sei.cmu.edu!ajpo.sei.cmu.edu!cla-faq
  3. From: cla-faq@ajpo.sei.cmu.edu (Ada Info. Clearinghouse)
  4. Subject: comp.lang.ada FAQ 1/2
  5. Message-ID: <1993Dec16.135320.4940@sei.cmu.edu>
  6. Followup-To: poster
  7. Summary: comp.lang.ada Frequently Asked Questions. (Does *not* 
  8.          get into programming questions.)
  9. Sender: netnews@sei.cmu.edu (Netnews)
  10. Organization: Ada Information Clearinghouse
  11. Date: Thu, 16 Dec 1993 13:53:20 EST
  12. Approved: news-answers-request@MIT.Edu
  13. Lines: 918
  14. Xref: senator-bedfellow.mit.edu comp.lang.ada:15961 news.answers:15909 comp.answers:3059
  15.  
  16. Archive-name: comp-lang-ada/cla-faq1
  17.  
  18.  
  19. comp.lang.ada Frequently Asked Questions (FAQ) part 1 of 2
  20.  
  21. Effective date: 15 Dec 93
  22.  
  23. Currently, the comp.lang.ada FAQ is maintained by the Ada Information
  24. Clearinghouse (cla-faq@ajpo.sei.cmu.edu).  It is available for
  25. downloading via anonymous FTP from the AJPO host (ajpo.sei.cmu.edu)
  26. from the public/comp-lang-ada subdirectory as files cla-faq1 and
  27. cla-faq2.  It's also available on rtfm.mit.edu, which archives FAQ
  28. files posted to news.answers.
  29.  
  30. (For notes on FTP, or the lack thereof, see questions 25) and 26).)
  31.  
  32. Frequency: This will be posted every other month to comp.lang.ada,
  33. news.answers, and comp.answers.
  34.  
  35. Other than minor editing/typo changes, changes since the last FAQ are:
  36. 3) added note on gnu-ada mode (available in PAL); 6) added information
  37. on OS/2 version of GNAT; 9) deleted reference to Ada 9X Bulletin Board
  38. (now closed -- 9X files are available on AJPO host), and corrected ZIP
  39. code; 14) corrected host address (ftp.cnam.fr); 16) address changes,
  40. added reference (R.R.  Software); 18) e-mail address change for
  41. EVB/GRAMMI; 23) POSIX/Ada package specifications available on AJPO
  42. host and PAL; 19) Alsys address update.
  43.  
  44. Individuals are encouraged to submit both questions and answers.  In
  45. many answers below, submitters are noted in parentheses at the
  46. beginning of comments.  (Comments may be slightly edited.)
  47.  
  48. It should be noted that report of a product, service, or event, etc.,
  49. does not constitute an endorsement by the AdaIC or the Ada Joint
  50. Program Office.  Opinions expressed are those of the submitters.
  51.  
  52. Table of Contents:
  53.  
  54.    1) Where can I get a list of validated Ada compilers?
  55.    2) Where can I get a yacc/ayacc grammar to read Ada code?
  56.    3) Is there an Ada-mode for Emacs?
  57.    4) You know, I think Ada could really benefit from having
  58.       <choose_a_feature> from <choose_a_language>...
  59.    5) I just saw a very anti-Ada post that I think is definitely
  60.       wrong.  Why didn't anybody post a response to it?  Should I?
  61.    6) Where can I get a public-domain Ada compiler or interpreter?
  62.    7) Is Ada a registered trademark of the US government?
  63.    8) I have seen the language name capitalized as ADA, as well as
  64.       Ada.  Which is right?
  65.    9) What is Ada 9X?
  66.   10) What is Anna, and where can I get it?
  67.   11) What is DRAGOON, and where can I get it?
  68.   12) Does anyone have a list of commercial Ada projects?
  69.   13) Are there versions of lex and yacc that generate Ada code?
  70.   14) What ftp sites exist that contain information about Ada or Ada
  71.       source?
  72.   15) What organizations exist that deal with Ada and Ada issues?
  73.       (Long)
  74.   16) What cheap (<500$) Ada compilers are available?
  75.   17) Are there any dial-up BBS systems that deal with Ada?
  76.   18) Does anyone know where I can get bindings for Ada?  X-Windows?
  77.       Others?  (See 22 and 23 for specific reference to POSIX.)
  78.   19) Is there a list of Ada compiler vendor e-mail contacts?
  79.   20) Is there a list of good Ada books?  (Long)
  80.   21) Where can I get language translators?  And should I?
  81.   22) What is the status of the POSIX/Ada work?
  82.   23) How can I get a copy of POSIX/Ada?  Is it available via FTP?
  83.   24) Where can I get Ada benchmark programs?
  84.   25) The AJPO host has a lot of Ada information files available for
  85.       downloading by anonymous FTP.  But I don't have FTP service on
  86.       the Internet host where I have an account.  Is there any way I
  87.       can get those files?
  88.   26) What is ASIS?
  89.   27) How can I find out more about ASIS?  Can I take part in
  90.       development?
  91.   28) How can I get hold of ASIS?
  92.   29) Are there any free, public-domain, or other general-access
  93.       software repositories that contain Ada source code and
  94.       information on reuse?
  95.  
  96.  
  97.  1) Where can I get a list of validated Ada compilers?
  98.  
  99.       (from tjmesler@vnet.ibm.com)
  100.  
  101.       By anonymous ftp from ajpo.sei.cmu.edu.  The latest list is in
  102.       the /public/ada-info directory.  Only the latest list is kept;
  103.       it has the name val-comp.hlp.ddmmmyy, where dd stands for date,
  104.       mmm for month (3-letter abreviation), and yy stands for year.
  105.       For example, the current list is val-comp.hlp.01Dec93.  If the
  106.       list is updated during the month, the previous one is deleted
  107.       and the date part of the name of the file will change.
  108.  
  109.  2) Where can I get a yacc/ayacc grammar to read Ada code?
  110.  
  111.       (from garym@flash.telesoft.com (Gary Morris @lone))
  112.  
  113.       masticol@dumas.rutgers.edu has kindly sent in a yacc and lex
  114.       grammar for Ada.  It's available via FTP from the archives at
  115.       primost.cs.wisc.edu and via e-mail from the compilers server at
  116.       compilers-server@iecc.cambridge.ma.us.
  117.  
  118.  3) Is there an Ada-mode for Emacs?
  119.  
  120.       (from boubaker@mailhost.cenatls.cena.dgac.fr (Heddy Boubaker))
  121.  
  122.       There are, in fact, 3 ada modes for emacs
  123.  
  124.       - There is a simple ada-mode shipped as part of the emacs
  125.         distribution.
  126.  
  127.       - a more elaborate one from Steven D. Litvintchouk of Mitre
  128.         Corp called electric-ada
  129.  
  130.       - and gnu-ada mode.  Here is a small description of the features
  131.         of this mode:
  132.  
  133.           1/ Compile programs within emacs
  134.           Run compiler as inferior of Emacs, and parse its error
  135.           messages.  NOTE: I believe that this feature will only work
  136.           with VADS, but it might have been tailored to work with
  137.           other compilers.
  138.  
  139.           2/ Ada dired
  140.           It supplies a form of dired that helps manage the VADS
  141.           environment, and it adds ADA vads commands into ada mode.
  142.           Unlike a previous dired-ada implementation, this version
  143.           uses the existing dired mode functions except where there is
  144.           unresolvable conflict.  Thus, this is more like a minor mode
  145.           to dired.  Very important because on actual version of emacs
  146.           19(beta), in fact lemacs (lucid emacs), dired has changed
  147.           and we can no longer use gnu-ada mode :-(
  148.  
  149.           3/ you can consult Ada LRM(*) during parsing error message.
  150.           (*)You can get one in wsmr-simtel20.army.mil or any
  151.           mirror site.
  152.  
  153.           4/ smart indentation
  154.           Tries hard to do all the indenting automatically.
  155.           Emphasizes correct insertion of new code using smart
  156.           templates.
  157.  
  158.           5/ Smart template commands (bnf)
  159.           This is essentially a bnf processor/language-sensitive
  160.           editor.  The next message will give you an ada bnf file that
  161.           you can use within ada-mode to expand nonterminals.  But you
  162.           can roll your own grammars (e.g., your design grammar or an
  163.           ADL) and put them in *.bnf files ..
  164.           ; The BNF rule set is stored as a list of rules.
  165.  
  166.           6/ debugging Ada programs within emacs
  167.           A facility is provided for the simultaneous display of the
  168.           source code in one window, while using a.db to step through
  169.           a function in the other.  A small arrow "=>" in the source
  170.           window, indicates the current line.
  171.  
  172.           7/ Move from procedure to procedure or package to package
  173.           ...
  174.  
  175.           8/ tags Ada
  176.  
  177.           9/ and other things ...
  178.  
  179.       (from obry@enthuse.bellcore.com (Pascal OBRY))
  180.  
  181.       You can find the gnu-ada mode in ajpo.sei.cmu.edu cd
  182.       /public/infoada/gnu file r1.06a-ada.tar.Z
  183.  
  184.       Also, you can now find the gnu-ada mode in the PAL. (See
  185.       question 29).) It's under the subdirectory
  186.       languages/ada/swtools/emacs/adamode.
  187.  
  188.  4) You know, I think Ada could really benefit from having
  189.       <choose_a_feature> from <choose_a_language>
  190.     or
  191.     You know, I think Ada is clearly <inferior_or_superior> to
  192.       <choose_a_language> because it has <choose_a_feature>
  193.  
  194.       (from drew@verdix.com (Drew Johnson))
  195.  
  196.       Such posts almost always result in religious wars about langauge
  197.       and produce only wasted bandwidth.  PLEASE refrain from such
  198.       posts unless you have a specific question about Ada.  For
  199.       example, the following kind of question *is* appropriate: "In
  200.       <choose_a_language> I can do <choose_a_feature>.  How would I go
  201.       about doing this in Ada?"
  202.  
  203.  5) I just saw a very anti-Ada post that I think is definitely wrong.
  204.     Why didn't anybody post a response to it?  Should I?
  205.  
  206.       (from drew@verdix.com (Drew Johnson))
  207.  
  208.       Ada apparently gets more than its share of attacks, probably due
  209.       to its unique origins, and the fact that it is a requirement for
  210.       some government software.  For the same reasons as in (4) above,
  211.       PLEASE refrain from posting a response to these, unless you feel
  212.       there is something of *significant* importance that you can
  213.       contribute.  Posts containing factual corrections are probably
  214.       OK, but posts like "Well, I've used Ada on many projects, and
  215.       all have been very successful" accomplish nothing.  If you are
  216.       really dead-set on driving your point home to the poster, you
  217.       can do it via e-mail.
  218.  
  219.  6) Where can I get a public-domain Ada compiler or interpreter?
  220.  
  221.       You have choices: Ada/Ed for Ada 83, and GNAT for Ada 9X.
  222.  
  223.       (Strictly speaking, though, these aren't "public-domain".
  224.       They're *free*, but they're under GNU "copyleft".  That means
  225.       there's no warranty, and you're free to copy, modify, and
  226.       distribute them; but you can't charge anyone, and distributed
  227.       source code has got to be freely copyable, etc., by everyone
  228.       else.)
  229.  
  230.       a.  The Ada/Ed interpreter for Ada 83 is available from the New
  231.       York University host (cs.nyu.edu, Internet address
  232.       128.122.140.24).  It's in the ftp/pub/adaed directory.  There's
  233.       a version for UNIX-based machines, and a version for 386/486 DOS
  234.       machines.
  235.  
  236.       Interpreter for Ada 83:
  237.       (from mfeldman@cs.washington.edu (Michael Feldman))
  238.  
  239.       Ada/Ed is available for PCs, Unix-based machines, Amiga, and
  240.       Atari systems.  Excerpt from the Ada/Ed README:
  241.  
  242.       Ada/Ed is a translator-interpreter for Ada.  It is intended as a
  243.       teaching tool, and does not have the capacity, performance, or
  244.       robustness of commercial Ada compilers.  Ada/Ed was developed at
  245.       New York University, as part of a long-range project in language
  246.       definition and software prototyping.  The project produced the
  247.       first validated translator for Ada, in the form of an executable
  248.       definition of the language written in SETL.  The SETL system
  249.       served as design document and prototype for the C version
  250.       [available from the NYU host].
  251.  
  252.       Ada/Ed was last validated under version 1.7 of the ACVC tests.
  253.       Therefore it is not currently a validated Ada system, and users
  254.       can expect to find small discrepancies between Ada/Ed and
  255.       currently validated compilers.
  256.  
  257.       Apart from the 100-odd tests of ACVC 1.11 that Ada/Ed currently
  258.       fails, the major deficiency of the system is that, being an
  259.       interpreter, it does not implement most representation clauses,
  260.       and thus does not support systems programming close to the
  261.       machine level.
  262.  
  263.       b.  GW-Ada/Ed -- a souped-up version of Ada/Ed for 386/486 DOS
  264.       machines.
  265.  
  266.       A new distribution of GW-Ada/Ed is available on WUARCHIVE.  This
  267.       software can be acquired by anonymous ftp from
  268.       wuarchive.wustl.edu, and is located in the directory
  269.       languages/ada/compiler/adaed/gwu/9309/dos.
  270.  
  271.       This project was sponsored by The George Washington University,
  272.       and in part by the United States Advanced Research Projects
  273.       Agency (ARPA).
  274.  
  275.       This distribution contains the executables for GWAda, which
  276.       consists of the NYU Ada/Ed translator/interpreter system for
  277.       DOS, together with an integrated editor developed by Prof.
  278.       Arthur Vargas Lopes of the Pontifical University at Porto
  279.       Alegre, Brazil.  Lopes began his work on GWAda while he was a
  280.       doctoral student at The George Washington University.  There is
  281.       also a very nice extended runtime facility, with interesting
  282.       kinds of source tracing.
  283.  
  284.       GWAda is being freely distributed at no charge.  In the near
  285.       future the developers will make the source code available under
  286.       the GNU General Public License.  Source code is not being
  287.       provided because the system is still in the developmental stage.
  288.       Source code for Ada/Ed itself is available from NYU and from
  289.       WUARCHIVE.
  290.  
  291.       Note that you do not have to use the GWAda integrated
  292.       environment, but can execute the various parts of NYU Ada/Ed
  293.       from the DOS command line, as described in the NYU instructions.
  294.  
  295.       System requirements: IBM PC Compatible, 386 or 486, running
  296.       MS-DOS or PC-DOS at least 3.6 MB available extended memory at
  297.       least 5 MB free hard-disk space.
  298.  
  299.       c.1.  Ada 9X compiler -- The GNU Ada Translator (GNAT),
  300.       availability: GNAT is available from the New York University
  301.       host (cs.nyu.edu, Internet address 128.122.140.24).  It's in the
  302.       ftp/pub/gnat directory.  There's a version for UNIX-based
  303.       machines, and a version for 386/486 OS/2 machines.
  304.  
  305.       It's also available in Public Ada Library (PAL -- formerly the
  306.       Ada Software Repository).  The PAL is located on
  307.       wuarchive.wustl.edu (Internet address: 128.252.135.4).
  308.  
  309.       You can also get a copy from the AdaIC Bulletin Board.  But this
  310.       is a dial-up operation (703/614-0215), and since the files
  311.       sizes are large, connect times may be lengthy.  The bulletin
  312.       board is best used as a back-up source for those who don't have
  313.       Internet/FTP access.
  314.  
  315.       c.2.  Ada 9X compiler -- The GNU Ada Translator (GNAT), general:
  316.       (extracted from "Free Source Code for GNAT 9X Compiler to be
  317.       Available on Internet", by Robert Dewar and Edmond Schonberg,
  318.       New York University, Ada Information Clearinghouse Newsletter
  319.       August 1993)
  320.  
  321.       The Computer Science Department of the Courant Institute of
  322.       Mathematical Sciences at New York University received a contract
  323.       from the Ada 9X Project Office, under the direction of Christine
  324.       M. Anderson, to develop a GNU/Ada system.  The work is being
  325.       cosponsored by ARPA and the Ada Joint Program Office.
  326.  
  327.       Final delivery is due at the end of December 1993.  The first
  328.       interim delivery will be at the Tri-Ada conference, Sept. 18th.
  329.  
  330.       The final delivery will be a full Ada-9X implementation with as
  331.       much of the core language and annexes implemented as possible.
  332.       Given the fact that Ada 9X will not be standardized until
  333.       sometime in 1994, the December delivery might differ in small
  334.       respects from the eventual international standard.
  335.  
  336.       At final delivery, the developers expect to demonstrate to the
  337.       Ada community a reasonably complete and solid implementation of
  338.       the core language, and at least part of the language annexes.
  339.       This delivery will include full sources, and executables for at
  340.       least the Sun Sparc and PC on OS/2.  (On PCs, GNAT will need a
  341.       full 32-bit environment with several megabytes of memory.)
  342.  
  343.       There are a number of official GNAT net addresses:
  344.  
  345.       gnat-request@cs.nyu.edu
  346.  
  347.       Send a message to this address to be placed on our external
  348.       mailing list.  We send out progress reports, technical reports,
  349.       digests of technical comments and other information.
  350.  
  351.       gnatchat@cs.nyu.edu
  352.  
  353.       Send messages to this address for our general consideration.
  354.       Where appropriate, we will digest these comments for
  355.       redistribution to the external mailing list -- unless you
  356.       specifically request that they be considered private.
  357.  
  358.       gnat-report@cs.nyu.edu
  359.  
  360.       This address is to be used specifically to report problems with
  361.       the currently available version of the GNAT system.  Please be
  362.       as specific as possible in reporting problems.  Do not report
  363.       missing features for now!
  364.  
  365.       c.3.  Ada 9X compiler -- The GNU Ada Translator (GNAT), OS/2:
  366.       (Extracted from readme1.gnt file for the GNAT Nov 3, 1993,
  367.       release.)
  368.  
  369.       The executables and sources for the OS/2 version of GNAT are
  370.       split and compressed into two files, each of which can fit on
  371.       one 3.5-inch high-density diskette.  Although it is possible to
  372.       install GNAT on an OS/2 machine on FAT (MS-DOS-compatble)
  373.       partition, such an installation will not be fully functional.
  374.       In fact, GNAT does not support installations on FAT partitions.
  375.       You will need about 8.5 MB of free disk space after you have
  376.       copied the appropriate files to your hard drive.  About half of
  377.       this amount is taken up by the source code.
  378.  
  379.       (In case you want to modify and re-compile GNAT, you will need
  380.       about 24 MB of free disk space after you have installed GNAT for
  381.       OS/2 and copied the necessary source files to your hard drive.)
  382.  
  383.  7) Is Ada a registered trademark of the US government?
  384.  
  385.       (from the AdaIC)
  386.  
  387.       No, but it used to be; there's a "certification mark", though,
  388.       which is to be used only for validated compilers.
  389.  
  390.       Prior to November 30, 1987, the name "Ada" was a registered
  391.       trademark.  In the December 1987 issue of the Ada Information
  392.       Clearinghouse Newsletter, Ms. Virginia Castor, then Director of
  393.       the Ada Joint Program Office (AJPO), announced that the
  394.       Department of Defense would thereafter rely on a certification
  395.       mark instead of a trademark.
  396.  
  397.       (The certification mark is a Pentagon-shaped symbol with a
  398.       "Validated Ada" message, and can be seen on the documentation of
  399.       validated Ada compilers.)
  400.  
  401.       The text of the 1987 AJPO announcement is available as an AdaIC
  402.       file (trademrk.hlp.04Jun93) in the public/ada-info directory on
  403.       the AJPO host (ajpo.sei.cmu.edu).
  404.  
  405. 8) I have seen the language name capitalized as ADA, as well as Ada.  Which
  406.    is right?
  407.  
  408.       (from drew@verdix.com (Drew Johnson))
  409.  
  410.       The correct capitalization is Ada.  It's a proper name, for Ada
  411.       Lovelace (1815-1852), who is regarded to be the world's first
  412.       programmer.
  413.  
  414.       Using all-caps usually implies an acronym, and we are not
  415.       talking about the American Dental Association :).
  416.  
  417. 9) What is Ada 9X?
  418.  
  419.       (from drew@verdix.com (Drew Johnson))
  420.  
  421.       Ada 9X refers to the revised version of Ada.  (Ada 83 is the
  422.       current ANSI/ISO standard.)  The Ada 9X Project Office is
  423.       responsible for the revision, and is working closely with the
  424.       international community to ensure Ada retains its ISO status.
  425.       The Ada 9X process is very open.  Volunteer Reviewers are
  426.       welcome and should contact ada9x-vr@ajpo.sei.cmu.edu.  Many
  427.       documents are available for downloading from the ada9x directory
  428.       on the AJPO host (ajpo.sei.cmu.edu -- see questions 25) and 26)
  429.       for more information.)  For further information, contact the Ada
  430.       9X Project Office, PL/VTES, Kirtland AFB, New Mexico 87117-5776.
  431.  
  432.       Ada 9X includes three major areas of enhancement: support for
  433.       object-oriented programming, programming-in-the-large, and
  434.       realtime systems.
  435.  
  436.       A great deal of attention is being focused on transitioning to
  437.       Ada 9X.  The validation test suite will be available early (in
  438.       draft form prior to ANSI/ISO approval with official release 3
  439.       months after ANSI/ISO approval).  However, for a two-year period
  440.       vendors will be able to focus on enhanced areas of the language
  441.       that their customer base wants first; i.e., the first validation
  442.       test suite will be modularly constructed.  Vendors are also
  443.       being encouraged to release beta-versions of their Ada 9X
  444.       implementations prior to validation.
  445.  
  446.       There will also be a GNU Ada 9X compilation system available in
  447.       late 1993.  (See question 6).)
  448.  
  449. 10) What is Anna, and where can I get it?
  450.  
  451.       (from drew@verdix.com (Drew Johnson))
  452.  
  453.       Anna is a language for formally specifying Ada programs.  It
  454.       extends Ada with various different kinds of specification
  455.       constructs from ones as simple as assertions, to as complex as
  456.       algebraic specifications.  A whole lot of tools have been
  457.       implemented for Anna, including:
  458.  
  459.       1.  The standard DIANA extension packages, parsers,
  460.       pretty-printers.
  461.  
  462.       2.  Semantic checker (very similar to standard semantic checkers
  463.       for programming languages).
  464.  
  465.       3.  Specification analyzer -- this is a tool used to test a
  466.       specification for correctness before a program based on the
  467.       specification is written.
  468.  
  469.       4.  Annotation transformer -- this transforms Anna specification
  470.       constructs into checks on the Ada program that is developed
  471.       based on the specification.  This tool is currently in the
  472.       process of being enhanced so that it can handle at least all the
  473.       legal Ada programs in the ACVC test-suite.
  474.  
  475.       5.  Runtime debugger -- The instrumented program output by (4)
  476.       can be run with a special debugger that allows program debugging
  477.       based on formal specifications.
  478.  
  479.       All tools have been developed in Ada and are therefore extremely
  480.       portable.  Anna has been ported to many platforms, details of
  481.       which can be obtained from the person who handles Anna releases.
  482.       You can send e-mail to anna-request@anna.stanford.edu for
  483.       answers to such questions.  Actually, there is also a mailing
  484.       list -- anna-users@anna.stanford.edu.  Send e-mail to the
  485.       earlier address if you want to get on this list.
  486.  
  487.       One could view Anna and its toolset as a *very* significant
  488.       enhancement of assertions that are provided in languages such as
  489.       C (using the assert statement).  The enhancements are in the
  490.       form of both (1) many more high level specification constructs;
  491.       and (2) more sophisticated tool support.
  492.  
  493.       However, there are those who would not even wish to compare Anna
  494.       with C assertions!  :-)
  495.  
  496.       The Anna tools may be found on the machine anna.stanford.edu in
  497.       the anonymous ftp directory pub/anna.
  498.  
  499. 11) What is DRAGOON, and where can I get it?
  500.  
  501.       (from drew@verdix.com (Drew Johnson))
  502.  
  503.       DRAGOON is a language, implemented as an Ada preprocessor (i.e.,
  504.       generates pure Ada).  DRAGOON supports the development of Ada in
  505.       a truly object-oriented manner, including complete support for
  506.       multiple inheritance.  A very nice feature of DRAGOON not found
  507.       in many OO languages is the concept of "behavioral" inheritance.
  508.       This allows you to keep the concurrent behavior of object
  509.       separated from the object class hierarchy.
  510.  
  511.       The book by Colin Atkinson, "Object-Oriented Reuse, Concurrency
  512.       and Distribution: An Ada-Based Approach" (ACM Press, 1991, ISBN:
  513.       0201565277), is very well written and describes the language
  514.       succinctly and completely.
  515.  
  516.       For a copy of the preprocessor, you can contact:
  517.  
  518.       Mr. Andrea Di Maio
  519.       TXT Ingegneria Informatica S.p.A.
  520.       Via Socrate, 41
  521.       20128 Milan, ITALY
  522.       0039-2-27001001
  523.  
  524. 12) Does anyone have a list of commercial Ada projects?
  525.  
  526.       (from the AdaIC)
  527.  
  528.       a.  The AJPO host on the Internet contains a report of
  529.       Commercial Ada Users Working Group (CAUWG) of the Association
  530.       for Computing Machinery's Special Interest Group on Ada (ACM
  531.       SIGAda).  Dated June 1993, the report is a survey of
  532.       applications from around the world that are written in Ada.
  533.  
  534.       It is in the public/misc directory as file cauwg.txt.
  535.  
  536.       b.  The Ada Information Clearinghouse maintains a list of Ada
  537.       projects that have submitted information for the AdaIC's Ada
  538.       Usage Database.  It is only a sample of Ada projects, but it
  539.       includes both commercial and government-related projects.
  540.       Details on contacting the AdaIC are below (question 15).
  541.  
  542. 13) Are there versions of lex and yacc that generate Ada code?
  543.  
  544.       (from drew@verdix.com (Drew Johnson))
  545.  
  546.       The Arcadia project produced aflex and yacc, that are written in
  547.       Ada and produce Ada code.  These can be found in the STARS
  548.       repository (source.asset.com -- see below), as well as other
  549.       sites.
  550.  
  551. 14) What ftp sites exist that contain information about Ada or Ada source?
  552.  
  553.       (from drew@verdix.com (Drew Johnson))
  554.  
  555.       Public Ada Library (formerly Ada Software Repository):
  556.         wuarchive.wustl.edu
  557.         Internet address: 128.252.135.4
  558.       AJPO and AdaIC: ajpo.sei.cmu.edu
  559.         Internet address: 128.237.2.253 (Note: The numerical address
  560.                           is changing -- it may be out of date by the
  561.                           time you get this.)
  562.       Source for aflex and ayacc: liege.ics.uci.edu (~ftp/pub/irus)
  563.         Internet address: 128.195.1.5, 128.195.13.1
  564.       European Repository: ftp.cnam.fr
  565.         Internet address: 192.33.159.6
  566.  
  567.       Also:
  568.       STARS (Software Technology for Adaptable, Reliable Systems):
  569.       source.asset.com
  570.         Internet Address: 192.131.125.10
  571.         Note: the ASSET host no longer takes anonymous FTP.  To
  572.         request an account, contact: info@source.asset.com
  573.  
  574. 15) What organizations exist that deal with Ada and Ada issues? (Long)
  575.  
  576.       (from the AdaIC)
  577.  
  578.       Ada Joint Program Office (AJPO)
  579.       The AJPO is part of the Department of Defense; it facilitates
  580.       the implementation of the DoD's Software Initiative (Ada)
  581.       throughout the Services, and maintains the integrity of the Ada
  582.       language.  (The AJPO sponsors the AdaIC.)
  583.  
  584.       The address is:
  585.       Ada Joint Program Office
  586.       The Pentagon, 3E1049
  587.       Washington, DC 20301-3081
  588.       703/614-0208 (autovon 224-0208)
  589.       fax: 703/685-7019
  590.  
  591.       The current Director and Deputy Directors are:
  592.  
  593.       Director:                         vacant
  594.  
  595.       Air Force Deputy Director,
  596.       and Acting Director:              Maj M. Dirk Rogers
  597.                                            (rogersd@ajpo.sei.cmu.edu)
  598.  
  599.       Navy Deputy Director:             vacant
  600.  
  601.       Army Deputy Director:             MAJ Charlotte Lee
  602.                                            (leec@ajpo.sei.cmu.edu)
  603.  
  604.       Ada Information Clearinghouse (AdaIC)
  605.       (from adainfo@ajpo.sei.cmu.edu (Michele L. Kee))
  606.  
  607.       Ada Information Clearinghouse
  608.       P.O. Box 46593
  609.       Washington, DC 20050-6593
  610.       1-800-AdaIC-11, 703/685-1477; fax: 703/685-7019
  611.  
  612.       The Ada Information Clearinghouse (AdaIC) provides a full
  613.       spectrum of information on Ada to anyone interested in finding
  614.       out more about the programming language.  IIT Research Institute
  615.       operates the AdaIC for the Ada Joint Program Office (AJPO).  The
  616.       AdaIC publishes a quarterly newsletter, which contains current
  617.       news, Ada conference reports, announcements from the AJPO
  618.       Director, and articles on projects using Ada.  If you would like
  619.       to receive a copy of the AdaIC newsletter, please call and
  620.       request a subscription.  There's no charge.  The AdaIC also
  621.       regularly updates and publishes more than 70 separate
  622.       information flyers.  Flyer topics include:
  623.  
  624.            Ada Validated Compilers
  625.            Ada News and Current Events
  626.            Ada Usage
  627.            Ada 9X Project
  628.            On-line sources of Ada Information
  629.            Ada Bibliographies
  630.            Ada Compiler Validation and Evaluation
  631.            Resources for Ada Education and Training
  632.            Ada Software, Tools, and Interfaces
  633.            Ada Regulations, Policies, and Mandates
  634.            Ada Historical Information
  635.  
  636.       One of the most commonly requested flyers is the Validated
  637.       Compilers List.  This list, which is updated monthly, contains
  638.       Ada compilers that have been validated by the AJPO.  For the
  639.       most current information on validated Ada compilers, contact the
  640.       AdaIC.
  641.  
  642.       *Practically all AdaIC flyers are available via anonymous ftp
  643.       from the AJPO host (ajpo.sei.cmu.edu, in the public/
  644.       directories).*
  645.  
  646.       Association of Computing Machinery's Special Interest Group on
  647.       Ada (ACM SIGAda):
  648.  
  649.       SIGAda's bimonthly publication is Ada Letters: Non-members $37;
  650.       (Annual ACM membership dues, $71; students, $21).  $15 per year
  651.       to ACM members; $10 per year ACM student members.
  652.  
  653.       Association for Computing Machinery, Inc.
  654.       1515 Broadway
  655.       New York, NY 10036
  656.       212/869-7440
  657.  
  658.       SIGAda also has a number of committees and working groups on a
  659.       variety of topics.
  660.  
  661.       ISO Working Group 9 (ISO-IEC/JTC1/SC22/WG9):
  662.       This is a working group that deals with Ada within the
  663.       Internation Standardization Organization.  Within WG-9, are
  664.       several Rapporteur (rap) groups:
  665.  
  666.       CRG: Character Rapporteur Group - International Character Sets
  667.       RRG: Real-Time Rapporteur Group - ExTRA
  668.       NRG: Numerics Rapporteur Group - NUMWG packages
  669.       SRG: SQL Interfaces Rapporteur Group - SAMeDL
  670.       IRG: Information Systems Rapporteur Group - Decimal Arithmetic
  671.       XRG: Ada 9X Rapporteur Group
  672.  
  673.       Ada Rapporteur Group (ARG):
  674.       (from Goodenough@SEI.CMU.EDU)
  675.  
  676.       This is the group responsible for evaluating comments on the Ada
  677.       standard.  Officially, the group is only developing a technical
  678.       report addressing comments and questions concerning the ISO
  679.       standard for Ada.  (Arcane ISO rules prevent the ARG or WG9 from
  680.       issuing "official" interpretations of a standard.)  In practice,
  681.       when a response to a comment is approved by WG9, the response is
  682.       taken into account by the Ada Validation Office and affects the
  683.       test suite.  The documents containing comments on the standard
  684.       and ARG responses are called "Ada Commentaries" and are given
  685.       numbers of the form AI-ddddd/vv, where vv is a version number.
  686.  
  687.       Comments and questions about the Ada standard should be sent to
  688.       ada-comment@ajpo.sei.cmu.edu, using the format specified in the
  689.       Ada standard.  You can receive e-mail notification of an update
  690.       to a commentary (optionally including the text of the
  691.       commentary) by sending a request to
  692.       ada-comment@ajpo.sei.cmu.edu.  Commentaries are generally
  693.       updated only a few times each year.  The text of all
  694.       commentaries is available by anonymous ftp from the AJPO site in
  695.       the account public/ada-comment.  A detailed discussion of ARG
  696.       procedures and the format of commentaries can be found in the
  697.       ada-comment account in the file arg-procedures.doc.  A
  698.       reformatted copy of the Reference Manual that includes
  699.       WG9-approved commentaries is available from Karl Nyberg
  700.       (karl@grebyn.com).
  701.  
  702.       Uniformity Rapporteur Group (URG):
  703.       (from emery@d74sun.mitre.org (David Emery))
  704.  
  705.       Responsible for evaluating Uniformity Issues (UIs).  UIs
  706.       specify/recommend specific choices for the compiler implementor,
  707.       where the language permits implementation freedom.  The
  708.       "canonical example" is UI-8, on integer types.  This UI
  709.       recommends that integers be at least 32 bits, and provides names
  710.       for the other predefined integer types.  The goal of the URG and
  711.       the UI's is to further Ada portability by providing uniform
  712.       implementations of implementation-dependent features commonly
  713.       used by Ada applications.
  714.  
  715. 16) What cheap (<500$) Ada compilers are available?
  716.  
  717.       (See also question 6).)
  718.  
  719.       What follows is absolutely *not* exhaustive, but inexpensive
  720.       compilers are available, and some vendors offer educational
  721.       discounts.  Among those offering educational discounts are
  722.       Alsys, DDC-I, Encore, Harris, IBM, Irvine Compiler, Meridian,
  723.       PSS, Rational, R.R., Tartan, and TeleSoft (now part of Alsys).
  724.  
  725.       Meridian:
  726.       Among choices for inexpensive compilers, Meridian offers one for
  727.       $99.  (Meridian Software Systems (A Verdix Company), 205 Van
  728.       Buren Street - 4th floor, Herndon, VA 22070; contact: Gary
  729.       Newman, 810/653-2522, 703/318-5810.)
  730.  
  731.       Alsys (US pricing only):
  732.       FirstAda for 286 DOS is $595.  It will run on 286 and higher,
  733.       and will generate applications for any x86 PC.  Comes with a
  734.       full toolset.  Alsys does run specials on it periodically.  Call
  735.       Pat Michalowski at 619/457-2700 for more info.
  736.  
  737.       Alsys offers the same compilation system for $144 to qualified
  738.       educational institutions under its LEAP program.  The program
  739.       also offers substantial educational discounts on other Alsys
  740.       products, as well as site license arrangements.  Contact Kathy
  741.       Ruggiero at 617/270-0030 for more info.
  742.  
  743.       Rational:
  744.       Rational provides free software (Rational Apex) to accredited
  745.       educational institutions, including military academies, in the
  746.       United States and Canada.  This is under its Software
  747.       Engineering for Educational Development (SEED) program.  To
  748.       receive information on the program, send your contact
  749.       information via e-mail to SEED_Info@Rational.com.
  750.  
  751.       R.R. Software:
  752.       R.R.'s Janus/Ada Professional Development System -- 60386 MS-DOS
  753.       -- regularly goes for $500.  (R.R« Software, P.O« Box 1512,
  754.       Madison, WI 53701; contact: Randall Brukardt 608/251-3133;
  755.       e-mail: 4269344@mcimail.com.)
  756.  
  757. 17) Are there any dial-up BBS systems that deal with Ada?
  758.  
  759.       AdaIC BBS: (US) 703/614-0215 AUTOVON: 224-0215
  760.  
  761.       (from olender@CS.ColoState.EDU (Kurt Olender))
  762.  
  763.       AdaNet BBS: This is a free service that maintains e-mail
  764.       connections for people not on the internet, an Ada source code
  765.       repository, and a selection of other on-line Ada-related
  766.       documents.  It is sponsored by NASA.  Call 800/444-1458 to
  767.       register for access.
  768.  
  769.       (from carlsons@ajpo.sei.cmu.edu (Susan Carlson))
  770.       (Caveat: Telephone numbers can change without notice.  If we
  771.       find out a number doesn't work, we'll note that, but leave the
  772.       entry in until we're sure the service has actually been
  773.       discontinued.  If you are aware of a better number, please let
  774.       us know.)
  775.  
  776.       Naval Computer Telecommunications Command
  777.       Tel: 804/444-7841 (DSN 564-7841)
  778.  
  779.       Air Force Software Technology Support Center (STSC) BBS
  780.       Tel: 801/774-6509
  781.       Baud: 2400, 1200, 300
  782.       Bits: 8
  783.       Parity: None
  784.       Stop Bits: 1
  785.  
  786.       ACM SIGAda Performance Issues Working Group
  787.       PIWG Ada Benchmarks BBS
  788.       Tel: 412/268-7020
  789.  
  790.       Embedded Systems Programming Magazine BBS
  791.       Tel: 415/905-2689
  792.  
  793. 18) Does anyone know where I can get bindings for Ada?  X-Windows?
  794.     Others?  (See 22) and 23) for specific reference to POSIX.)
  795.  
  796.       General
  797.       The AdaIC (question 15, above) has a report on "Available Ada
  798.       Bindings".  It can be ordered in hardcopy as flyer S82, and it
  799.       can be downloaded from the AdaIC Bulletin Board (703/614-0215)
  800.       as BINDINGS.HLP.  It's also available by anonyomous ftp on the
  801.       AJPO host (ajpo.sei.cmu.edu).
  802.  
  803.       X-Windows
  804.       (from drew@verdix.com (Drew Johnson))
  805.  
  806.       This question turns out to be pretty darn hard to answer easily.
  807.       There are at least three variables that need to be filled:
  808.  
  809.       1) platform where you are going to be running.
  810.       2) compiler you would like to use.
  811.       3) Level/flavor of X you would like to run (e.g., just need
  812.       bindings to Xlib, want Openlook as opposed to Motif, etc).
  813.  
  814.       Once you fill all three of the above, then you can start to get
  815.       answers.  In order to keep the answer brief, I am simply going
  816.       to list companies that offer such products, and locations where
  817.       free versions are available.
  818.  
  819.       Before I give the list, I think a little history is in order.
  820.       The first Xlib bindings that were publically available were done
  821.       by SAIC for STARS.  This implementation had many bugs, but it
  822.       was there, and it was free.  I believe that this version was
  823.       eventually withdrawn from the STARS repository, and has now been
  824.       replaced with a better one.  In addition, SAIC has done an Xt
  825.       implementation based on these Xlib bindings (also for STARS).
  826.       NOTE: the above description may well be inaccurate, and I
  827.       welcome corrections.
  828.  
  829.       Now, for the list.
  830.       NOTE: this list is currently "off the top of my head", and I
  831.       welcome the addition of details and/or corrections.  I currently
  832.       don't have time to go back through the comp.lang.ada archives to
  833.       get full contact info on the companies I am listing below.  I am
  834.       counting on their vigilance to see the FAQ and send me info.
  835.  
  836.       First off, there is a pretty complete list of available bindings
  837.       for X as well as other stuff at the AdaIC.
  838.       site: ajpo.sei.cmu.edu
  839.       location: /public/ada-info/bindings.hlp.06Oct92
  840.       access: anonymous FTP
  841.  
  842.       Free versions:
  843.       STARS: bindings to Xlib and Xt.  Available on
  844.       source.asset.com.
  845.         Note: the ASSET host no longer takes anonymous FTP.  To
  846.         request an account, contact: info@source.asset.com
  847.  
  848.       Non-free versions:
  849.       SERC: bindings to Xlib/Xt/Motif
  850.       contact: well!sercmail@apple.com (Scott Cleveland)
  851.  
  852.       Verdix: bindings to Xlib/Xt/Motif
  853.       (Note that bindings to Xview are included with the SunAda Sun4
  854.       compiler)
  855.       contact: moskow@verdix.com (Paul Moskowitz)
  856.  
  857.       ATC: bindings to Xlib/Xt/Motif
  858.       contact: ???
  859.  
  860.       TeleSoft (now part of Alsys): bindings to Xlib/Xt/Motif
  861.       (TeleWindows)
  862.       (Note that bindings to Xview are included with the TeleSoft Sun4
  863.       compiler)
  864.       contact: philippe@telesoft.com
  865.  
  866.       X-based GUI (Graphical User Interface) Builders:
  867.       Objective (OIS): Screen Machine
  868.       contact: Phil Carrasco (703/264-1900)
  869.  
  870.       TeleSoft (now part of Alsys): TeleUSE
  871.       contact: philippe@telesoft.com
  872.  
  873.       EVB Software Engineering, Inc. : GRAMMI
  874.       contact : info@evb.com
  875.                 or info_server@evb.com with subject "send grammi"
  876.  
  877.       Sun Microsystems: DevGuide
  878.       contact: ???
  879.  
  880.       SERC: UIL-to-Ada code generator
  881.       (not really a GUI-builder, but works with several builders to
  882.       generate Ada instead of other languages).
  883.       contact: well!sercmail@apple.com (Scott Cleveland)
  884.  
  885. 19) Is there a list of Ada compiler vendor e-mail contacts?
  886.  
  887.       Note: The AdaIC's Validated Compiler List now contains e-mail
  888.       addresses for compiler-vendor points of contact.
  889.  
  890.       (from drew@verdix.com (Drew Johnson))
  891.  
  892.       Alsys sales (e-mail contact only): tne@world.std.com (Tom Erickson)
  893.       Alsys sales (voice) Pat Michalowski
  894.       Tel: 619/270-0030
  895.  
  896.       Convex questions: allison@convex.com (Brian Allison)
  897.       Tel: 214/497-4346
  898.  
  899.       Cray questions: det@cray.com (Dave Thersleff)
  900.       Tel: 612/683-5701
  901.       Cray sales: svc@cray.com (Sylvia Crain)
  902.       Tel: 505/988-2468
  903.  
  904.       Harris questions: jeffh@ssd.csd.harris.com (Jeff Hollensen)
  905.  
  906.       IBM/Ada questions: malcho@torolab6.vnet.ibm.com (Don Malcho)
  907.       Tel: 416/448-3727
  908.  
  909.       Intermetrics questions: ryer@inmet.inmet.com (Mike Ryer)
  910.  
  911.       Irvine Compiler Corp (ICC) questions: info@irvine.com
  912.  
  913.       Tartan questions: englert@tartan.com (Susan Englert)
  914.       Tel: 412/856-3600
  915.  
  916.       TeleSoft questions: adasupport@telesoft.com
  917.       Note that TeleSoft is now part of Alsys.)
  918.       Tel: 619/457-2700
  919.       TeleSoft Sales: marketng@telesoft.com (Philippe Collard)
  920.       Tel: 619/457-2700
  921.  
  922.       Verdix questions: drew@verdix.com (Drew Johnson)
  923.       Verdix sales information: moskow@verdix.com (Paul Moskowitz)
  924.       Tel: 800-BUY-VADS
  925.  
  926.                                     ***
  927. concluded in comp.lang.ada Frequently Asked Questions (FAQ) part 2 of 2
  928.                                 (cla-faq2)
  929.                                     ***
  930.  
  931.  
  932.  
  933.  
  934.